| Module | LV Type | CP | LV | Dates | Examination |
|---|---|---|---|---|---|
| Advanced Algorithmic Differentiation | Fach-/Modulprüfung | 6 | 453539 | ||
| Algorithmische Spieltheorie | Fach-/Modulprüfung | 6 | 451224 | ||
| Communication Systems Engineering | Fach-/Modulprüfung | 6 | 454642 | ||
| Dynamical Processes on Networks | Fach-/Modulprüfung | 6 | 454375 | ||
| Eingebettete Systeme | Fach-/Modulprüfung | 6 | 453162 | ||
| Vorlesung/Übung | 449609 | Mo 16:30-18:00 AH III (2350|314.1) (×10) Di 14:30-16:00 AH III (2350|314.1) (×13) | |||
| Vorlesung/Übung | 450568 | Mo 14:30-16:00 AH III (2350|314.1) (×11) Mi 12:30-14:00 AH III (2350|314.1) (×13) | |||
| Infinite Computations and Games | Fach-/Modulprüfung | 6 | 454588 | ||
| Konzepte und Modelle der parallelen und datenzentrischen Programmierung | Fach-/Modulprüfung | 6 | 450746 | ||
| Vorlesung/Übung | 449939 | Mo 10:30-12:00 H06 (1385|004) (×9) Do 12:30-14:00 H05 (1385|105) (×6) Do 12:30-14:00 H06 (1385|004) (×1) | |||
| Leistungs- und Korrektheitsanalyse paralleler Programme | Fach-/Modulprüfung | 6 | 451475 | ||
| Vorlesung/Übung | 448641 | Mo 14:30-16:00 5056 (2356|056) (×10) Do 14:30-16:00 5056 (2356|056) (×7) Do 14:30-16:00 Extern (×1) | |||
| Mobile Internet Technology | Fach-/Modulprüfung | 6 | 451288 | ||
| Vorlesung/Übung | 449592 | Mo 14:30-16:00 AH I (2350|028) (×7) Do 10:30-12:00 AH I (2350|028) (×10) Fr 10:30-12:00 AH I (2350|028) (×9) Fr 10:30-12:00 Fakultätssitzungssaal Informatik (2359|222) (×1) | |||
| Model Checking | Fach-/Modulprüfung | 6 | 455274 | ||
| Vorlesung | 455138 | Mo 10:30-12:00 AH II (2350|111) (×12) Mo 14:00-16:00 5055 (2356|055) (×1) Do 12:30-14:00 AH II (2350|111) (×9) | |||
| Übung | 455137 | Mo 10:30-12:00 AH II (2350|111) (×1) Mi 16:30-18:00 AH V (2356|050) (×10) | |||
| Modellierung und Analyse hybrider Systeme | Fach-/Modulprüfung | 6 | 452314 | ||
| Probabilistic Programming | Fach-/Modulprüfung | 4 | 454494 | ||
| Research Focus Class on Communication Systems | Fach-/Modulprüfung | 6 | 454587 | ||
| Semantik und Verifikation von Software | Fach-/Modulprüfung | 6 | 451529 | ||
| Software Language Engineering | Projekt | 6 | 448979 | ||
| Vorlesung/Übung | 447004 | Di 14:30-16:00 AH I (2350|028) (×14) Mi 16:30-18:00 AH I (2350|028) (×13) Do 12:30-14:00 AH I (2350|028) (×12) | |||
| Software-Projektmanagement | Fach-/Modulprüfung | 4 | 454026 | ||
| Vorlesung | 447677 | Di 16:30-18:00 AH V (2356|050) (×14) Mi 13:30-16:00 5055 (2356|055) (×1) Mi 14:00-17:00 5055 (2356|055) (×1) | |||
| Übung | 448463 | Mi 13:30-16:00 5055 (2356|055) (×1) Fr 08:30-10:00 AH V (2356|050) (×6) | |||
| Statische Programmanalyse | Fach-/Modulprüfung | 6 | 450693 | ||
| Vorlesung | 455273 | Mo 12:30-14:00 AH I (2350|028) (×9) Mo 14:00-16:00 5055 (2356|055) (×1) Di 14:30-16:00 AH II (2350|111) (×11) | |||
| Übung | 455272 | Fr 10:30-12:00 AH III (2350|314.1) (×9) |